Extending Lustre with Timeout Automata

نویسندگان

  • Jimin Gao
  • Mike Whalen
  • Eric Van Wyk
چکیده

This paper describes an extension to Lustre to support the analysis of globally asynchronous, locally synchronous (GALS) architectures. This extension consists of constructs for directly specifying the timeout automata used to describe asynchronous communication between processes represented by Lustre nodes. It is implemented using an extensible language framework based on attribute grammars that allows such extensions to be modularly defined so that they may be more easily composed with other language extensions.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

MATOU: An Implementation of Mode-Automata

Mode-Automata have been proposed in [11]. They introduce, in the domain-specific data-flow language Lustre for reactive systems, a new construct devoted to the expression of running modes. The idea is to associate data-flow programs with the states of an automaton, representing modes. We define flat automata first, and then several composition operators, such as parallel composition and hierarc...

متن کامل

Running-modes of real-time systems: a case-study with mode-automata

Real-time Systems, in particular regulation systems, are often specified using the notion of running modes. On the other hand, the family of synchronous languages [1] has been very successful in offering formally defined languages and programming environments for safety-critical systems. We are particularly interested in the data-flow language Lustre, well-suited for the description of regulati...

متن کامل

The Multi-Paradigm Synchronous Programming Language LEA

We present uniform translation rules for three synchronous programming languages Lustre, Esterel and Argos, to a common intermediate format called Boolean automata. Such a uniform translation allows to smoothly combine the languages into one multi-paradigm language for programming synchronous reactive systems.

متن کامل

Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators

Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy production. Testing this kind of applications is an important and demanding task during the development process. It mainly consists in generating test data and measuring the achieved coverage. A hierarchy of structural coverag...

متن کامل

Mode-Automata: About Modes and States for Reactive Systems

In the eld of reactive system programming, dataaow synchronous languages like Lustre BCH + 85,CHPP87] or Signal GBBG85] ooer a syntax similar to block-diagrams, and can be eeciently compiled into C code, for instance. Designing a system that clearly exhibits several \independent" running modes is not diicult since the mode structure can be encoded explicitly with the available dataaow construct...

متن کامل

ذخیره در منابع من

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Electr. Notes Theor. Comput. Sci.

دوره 203  شماره 

صفحات  -

تاریخ انتشار 2008